master thesis in computer science by Maria A Schett submitted to the Faculty of Mathematics, Computer Science and Physics of the University of Innsbruck

Source URL: www.maria-a-schett.net

• Theoretical computer science
• Mathematics
• Formal languages
• Discrete mathematics
• Graph theory
• Graph rewriting
• Logic in computer science
• Rewriting
• Rewrite order
• Confluence
• Graph
• Abstract semantic graph

Power Signatures of High-Performance Computing Workloads Jacob Combs, Jolie Nazor, Rachelle Thysell, Fabian Santiago, Matthew Hardwick, Lowell Olson, Suzanne Rivoire Department of Computer Science Sonoma State University

Source URL: rivoire.cs.sonoma.edu

• Computing
• Cluster analysis
• Data mining
• Geostatistics
• Data analysis
• Computational statistics
• Hierarchical clustering
• K-means clustering
• Computer cluster
• Consensus clustering
• Spectral clustering

Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t

Source URL: afnom.net

• Computing
• Hacking
• Human behavior
• Information and communications technology
• Telephone tapping
• Computer programming
• Hacker
• Internet security
• Wargame
• Security hacker

Informational Substitutes Definitions and Design Yiling Chen and Bo Waggoner Harvard Computer Science July 2016

Source URL: www.bowaggoner.com

INVITED SPEAKER SEMINAR IN ELECTRICAL AND COMPUTER ENGINEERING CO-SPONSORED BY: The Department of Electrical and Computer Engineering, Concordia University, IEEE Montreal Section,

Source URL: users.encs.concordia.ca

• Computing
• Computer systems
• Edsger W. Dijkstra
• Software architecture
• Software engineering
• Scalability
• Big data
• Database
• Information and communications technology
• Computer engineering

Logical Methods in Computer Science Vol. 10(1:, pp. 1–29 www.lmcs-online.org Submitted Published

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Mathematical analysis
• Applied mathematics
• Boolean algebra
• Experiment
• Measure theory
• Sigma-algebra
• Markov decision process
• Game theory
• Mathematical optimization

COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 1) Lecturer: Justin Thaler

Source URL: people.cs.georgetown.edu

• Circuit complexity
• Complexity classes
• Theory of computation
• Theoretical computer science
• Computer science
• NC
• Circuit
• Computer
• IP
• NP
• Multiplication algorithm
• Matrix multiplication algorithm

Australian Computer Society Inc ABNNational Secretariat PO Box Q534, Queen Victoria Building, Sydney NSW 1230 T + | F + | W www.acs.org.au E or members

Source URL: www.acs.org.au

• American Chemical Society
• Green chemistry
• Australian Computer Society
• Internet privacy
• ACS
• Anglo-Chinese School
• Credit card
• Goods and services tax
• Mail
• Email
• Economy
• Computing

Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives N. Basseta , M. Kwiatkowskaa,∗, C. Wiltschea a Department of Computer Science, University of Oxford, United Kingdom

Source URL: qav.comlab.ox.ac.uk

• Probability theory
• Statistical randomness
• Probability
• Markov models
• Stochastic game
• Markov chain
• Determinacy
• Game theory
• Strategy
• Probabilistic automaton
• Markov decision process
• Stochastic process

Recommendations in Signed Social Networks Jiliang Tang‡ , Charu Aggarwal# , and Huan Liu† † Computer Science & Engineering, Arizona State University, Tempe, AZ, USA ‡

Source URL: gdac.uqam.ca